Semantics of programming languages - PDFSEARCH.IO - Document Search Engine

Semantics of programming languages
Results: 156

#	Item
101	A Byte of Python Swaroop C H Dedication To Kalyan Varma Add to Reading List Source URL: files.swaroopch.com Language: English - Date: 2014-12-04 08:21:57 Python Scripting languages Technical communication Docstring Help Python syntax and semantics Computing Software engineering Computer programming
102	Compiling functional languages Xavier Leroy INRIA Rocquencourt Spring school “Semantics of programming languages” Agay, 24-29 March 2002 Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2002-03-29 07:37:15 Data types Subroutines Lambda calculus Functional programming Primitive types Closure Evaluation strategy Free variables and bound variables Function Software engineering Computing Computer programming
103	Semantics of Mergeable Data-structures Subject We are trying to make the Cloud a safer and saner place to live. To do so, we have writing a full operating system in OCaml, dubbed “MirageOS” [4] which compiles complex Add to Reading List Source URL: thomas.gazagnaire.org Language: English - Date: 2015-01-26 09:56:44 Functional languages OCaml Purely functional Data structure Caml ML SQL Reference Software engineering Computing Computer programming
104	Semantics of Mergeable Data-structures Subject We are trying to make the Cloud a safer and saner place to live. To do so, we have writing a full operating system in OCaml, dubbed “MirageOS” [4] which compiles complex Add to Reading List Source URL: gazagnaire.org Language: English - Date: 2015-01-26 09:56:44 Functional languages OCaml Purely functional Data structure Caml ML SQL Reference Software engineering Computing Computer programming
105	The Verification Grand Challenge and Abstract Interpretation Patrick Cousot École normale supérieure, 45 rue d’Ulm[removed]Paris cedex 05, France Patrick.Cousot@ ens.fr Add to Reading List Source URL: vstte.inf.ethz.ch Language: English - Date: 2005-10-02 15:59:16 Abstract interpretation Astrée Applied mathematics Computer science Formal verification Patrick Cousot Programming language Abstraction Semantics of programming languages Formal methods Theoretical computer science Logic in computer science
106	A program logic for resources and its application to optimisation validation Alberto Momigliano Laboratory for Foundations of Computer Science University of Edinburgh In collaboration with: Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-12-05 13:08:28 Data types Functional languages Procedural programming languages Lisp programming language Functional programming List Cons ALGOL 68 Operational semantics Software engineering Computing Computer programming
107	Automatic Certification of Resource Consumption Alberto Momigliano Laboratory for Foundations of Computer Science University of Edinburgh In collaboration with: see credits at the end of the talk Work carried out in the Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-04-12 12:26:21 Data types Lisp programming language Functional programming Logic in computer science Procedural programming languages List Cons Operational semantics Semantics Software engineering Computing Programming language theory
108	COCV[removed]Optimisation Validation David Aspinall 1 LFCS, School of Informatics, University of Edinburgh, U.K. Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-02-13 11:03:23 Programming language theory Philosophical logic Procedural programming languages Boolean algebra ALGOL 68 Quantification Negation Logic Semantics Mathematical logic
109	Preferential Action Semantics (Preliminary Report) John-Jules Ch. Meyer and Patrick Doherty Abstract In this paper, we propose a new way of considering reasoning about action and change. Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:29:17 Semantics Model theory Logic in computer science Knowledge representation Logic programming Kripke semantics Semantics of programming languages Interpretation E-Prime Logic Mathematical logic Mathematics
110	Curriculum Vitae Anna Ingólfsdóttir Reykjavik University School of Science and Engineering Department of Computer Science Add to Reading List Source URL: www.ru.is Language: English - Date: 2007-02-18 17:09:32 Models of computation Denotational semantics Logic in computer science Reykjavík University Aalborg University International Colloquium on Automata Languages and Programming Logic programming Iceland Theoretical computer science Europe Computer science

UPDATE